Mathematical Induction Proof: n^2 - 1 is Divisible by 8